AutoFOCUS and the MoDe Tool

نویسندگان

  • Jan Romberg
  • Jan Jürjens
  • Guido Wimmel
  • Oscar Slotosch
  • Gabor Hahn
چکیده

Software engineering for distributed automotive applications is shifting from a subsystem-level perspcective, where the focus is on optimization of a single electronic control unit, towards a system-level view. However, optimization of distributed systems with respect to non-functional properties remains a challenging task. The goal of the MoDe (Model Based Deployment) approach is to give early guidance for design decisions using architectural-level models of the system. In its current version, MoDe supports those architecture-level decisions that require a performance model of the overall system. The MoDe approach is based on a formal design notation, AutoFOCUS, which is used for specifying system models, functional models enriched with abstractions for communication and scheduling. The MoDe tool offers automated support for compiling platform abstractions into the systemmodel, so MoDe allows a highly flexible evaluation of different architectural choices.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Tool Supported Specification and Simulation of Distributed Systems

We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, comprehensive and mainly graphical description techniques to specify both different views and different levels of abstraction of the system. To avoid illdefined specifications, consistency conditions on these system descr...

متن کامل

AutoFocus: A Tool for Distributed Systems Specification

We describe the concept of AutoFocus, a tool for the speci-cation of distributed systems. AutoFocus is based on the formal development method Focus and uses graphical description formalisms embedded into its semantical framework, thus ooering well-accepted notations while retaining the ability for exact consistency checks of a system under development. The tool uses a client/server architecture...

متن کامل

Toolsupported Speciication and Simulation of Distributed Systems ?

We present prominent features of AutoFocus, a tool prototype for the formally based development of reactive systems. AutoFocus supports system development o ering integrated, comprehensive and mainly graphical description techniques to specify both di erent views and di erent levels of abstraction of the system. To avoid ill-de ned speci cations, consistency conditions on these system descripti...

متن کامل

Autofocus -a Toolfor Distributed Systems Speciication ?

We describe the concept of AutoFocus a tool for the speci cation of distributed systems AutoFocus is based on the formal devel opment method Focus and uses graphical description formalisms embed ded into its semantical framework thus o ering well accepted notations while retaining the ability for exact consistency checks of a system under development The tool uses a client server architecture w...

متن کامل

A Component-Oriented Architecture for the CASE-Tool AUTOFOCUS

In this paper we explore how the componentware paradigm can be used for realizing a distributed multi-user CASE tool. The case study concentrates on the repository subsystem, as this is the most critical component with respect to the overall design and has strong implications on the possible working modes available to the developers. The proposed architecture will be integrated into the existin...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003